A general framework for certifying garbage collectors and their mutators
نویسندگان
چکیده
منابع مشابه
Draft Comparing Two Garbage Collectors for C++
Our research is concerned with compiler-independent, tag-free garbage collection for the C ++ programming language. This paper presents a mark-and-sweep collector , and explains how it ameliorates shortcomings of a previous copy collector. The new collector, like the old, uses C ++ 's facilities for creating abstract data types to deene a tracked reference type, called roots, at the level of th...
متن کاملEvaluating Garbage Collectors for Large Persistent Stores
We present some results and raise some issues regarding benchmarks for evaluating garbage collection in persistent distributed stores. We believe that such issues are relevant due to increasing research activity in this domain. Therefore, deening widely accepted benchmarks to evaluate the performance and impact of garbage collection solutions is urgent. Currently, the performance of garbage col...
متن کاملRethinking age-based garbage collectors
Garbage collection has been around for a long time, and is accepted as a customary element for dynamic memory management in run-time systems of modern programming languages, for reasons of safety and for its clear software engineering benefits. The wide-spread acceptance of object-oriented languages makes it more important than ever to have garbage collection also work as fast as possible. The ...
متن کاملConservative Garbage Collectors for Realtime Audio Processing
Garbage-producing and efficient programming languages such as Haskell, Lisp or ML have traditionally not been used for generating individual samples in realtime. The reason is a lack of garbage collector fast and predictably enough to make these languages viable alternatives to C and C++ for high performing audio DSP. This paper shows how conservative garbage collectors can be used efficiently ...
متن کاملComparing Two Garbage Collectors for C + +
Our research is concerned with compiler-independent, tag-free garbage collection for the C ++ programming language. This paper presents a mark-and-sweep collector , and explains how it ameliorates shortcomings of a previous copy collector. The new collector, like the old, uses C ++ 's facilities for creating abstract data types to deene a tracked reference type, called roots, at the level of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2007
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1273442.1250788